Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
881	Edward N. Zalta The Modal Object Calculus and its Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2012-02-25 17:14:48 Propositional calculus Predicate logic Model theory Philosophical logic Modal logic Interpretation First-order logic Entailment Function Logic Mathematical logic Mathematics
882	Edward N. Zalta A Philosophical Conception of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:09:17 Philosophical logic Philosophy of language Logical syntax Proposition Entailment Interpretation Modal logic Function Formal semantics Logic Propositional calculus Semantics
883	Edward N. Zalta Logical and Analytic Truths That Are Not Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:19:57 Entailment Modal logic Analytic–synthetic distinction Logical truth Interpretation First-order logic A priori and a posteriori Saul Kripke Propositional calculus Logic Philosophy Philosophical logic
884	An LF representation of a variant of HOL Light Kevin Watkins / June 15, 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-03-23 11:29:40 Propositional calculus Deduction Natural deduction Proof theory Meta Logical biconditional TM Logical connectives Logic Mathematical logic
885	EASTERN OREGON UNIVERSITY 2014 – 15 CATALOG Mathematics Add to Reading List Source URL: www.eou.edu Language: English - Date: 2014-05-05 13:39:53 Linear algebra Calculus Cross product Integral transform Propositional calculus Geometric algebra Mathematics Algebra Mathematical analysis
886	[removed]Propositional models Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:16 Propositional calculus Boolean algebra Algebraic logic Logic Truth table Boolean function Canonical form Predicate Logical connective Mathematical logic Mathematics Abstract algebra
887	An Introduction to Proof Complexity, Part I. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:13 Computational complexity theory Propositional calculus Logic in computer science Boolean algebra Circuit complexity Tautology Switching lemma Logical connective Proof complexity Theoretical computer science Mathematics Logic
888	An Introduction to Proof Complexity, Part II. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:14 Logic in computer science Propositional calculus Mathematical logic Automated theorem proving Computational complexity theory Frege system Proof complexity Propositional proof system Tautology Theoretical computer science Mathematics Logic
889	Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach, Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-09-27 06:58:46 Propositional calculus Model theory Predicate logic Metalogic Ladder logic First-order logic Logic programming Formal verification Function Logic Mathematics Mathematical logic
890	Negative Concord vs. Negative Polarity and the Acquisition of Japanese Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:25 Polarity item Linguistics Boolean algebra NCIS Propositional calculus Pikachu Negation Grammar Television Logic

UPDATE